Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161 (2009) 161-173]

Generalizations of Boolean products for lattice-ordered algebras

It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we sho...

STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES

$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...

Definable principal congruences and solvability

We prove that in a locally finite variety that has definable principal congruences (DPC), solvable congruences are nilpotent, and strongly solvable congruences are strongly abelian. As a corollary of the arguments we obtain that in a congruence modular variety with DPC, every solvable algebra can be decomposed as a direct product of nilpotent algebras of prime power size.

On free annotated algebras

Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227]

In Section 2 replace the definition of ∗◦Q in Definition 1 by x∗◦Q y = inf{u ∗◦ v | u > x, v > y}. It is defined only if the infimum exists. Proposition 1 remains unchanged. Theorem 0. Let (X, ∗◦,→∗◦,≤) be a commutative residuated semigroup on a complete chain equipped with the order topology. Let a, b, c ∈ X be such that a = b→∗◦ c. Let (x, y) ∈ X × X be such that 1. neither x nor y equals the...